381. Verification techniques for system-level design /
Author: Masahiro Fujita, Indradeep Ghosh, and Mukul Prasad.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science),Integrated circuits-- Verification.,Systems on a chip-- Testing.,Formal methods (Computer science),Formal methods (Computer science),Integrated circuits-- Verification.,Integrated circuits-- Verification.,Systems on a chip-- Testing.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- General.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Integrated.
Classification :
TK7895
.
E42
F95
2008eb
382. Virtual you
Author: Peter Coveney, Roger Highfield.,Coveney, Peter
Library: Library of College of Science University of Tehran (Tehran)
Subject: Virtual reality in medicine.,Virtual humans (Artificial intelligence),Medicine,Computer vision in medicine.,Computer simulation.
383. Visual Computing :
Author: by Markus Gro€.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer graphics.,Computer science.,Computer vision.
384. Working guide to pump and pumping stations
Author: Menon, E. Shashi.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Mathematical models ، Pumping stations,Mathematical models ، Fluid dynamics,Computer simulation ، Pumping stations,Computer simulation ، Fluid dynamics
Classification :
TD
485
.
M466
2010
385. Yield simulation for integrated circuits
Author: Walker, Duncan Moore Henry.
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Integrated circuits- Very large scale integration- Design and construction- Mathematical models,، Integrated circuits- Very large scale integration- Design and construction- Data processing,، Integrated circuits- Very large scale integration- Defects- Mathematical models,، Integrated circuits- Very large scale integration- Defects- Data processing,، Monte Carlo method
Classification :
TK
7874
.
W34
1987
386. design ofdynamic data structures
Author: Overmars, Mark H
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Mathematical models ► Digital computer- Simulation
Classification :
O96d
387. 11th Chaotic Modeling and Simulation International Conference /
Author: Christos H. Skiadas, Ihor Lubashevsky, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Chaotic behavior in systems-- Mathematical models, Congresses.,Chaotic behavior in systems-- Mathematical models.
Classification :
Q172
.
5
.
C45
C4265
2018
388. ارائه روشی هوشمند برای بهینه سازی چند هدفه پارامترهای عملکردی و آلایندگی موتور دیزل
Author: علیرضا اسلامی,اسلامی،
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject:
